
static __inline void
ia32_pause(void)
{
        __asm __volatile("pause");
}

int main()
{
    ia32_pause();
}
